Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Logic in Computer Science
🔬 Logic in Computer Science
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
29
posts in
26.9
ms
⚙️
Proof Engineering
Jane Street Tech Blog
·
6d
6 days ago
Formal
Methods
and the Future of Programming
Covers
5 stories
See all stories this covers
including
Lean: Programming Language and Theorem Prover
Covered by
theconsensus.dev
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formal Methods and the Future of Programming
📋
Format Specification
Linuxiac
·
1d
1 day ago
IETF Standardizes HTTP QUERY as
Proposed
Standard
Covers
RFC proposed standard: HTTP Query Method
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for IETF Standardizes HTTP QUERY as Proposed Standard
⏰
Temporal Logic
arxiv.org
·
4d
4 days ago
Verifying LTL for Infinite State Systems via Termination Analysis
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Verifying LTL for Infinite State Systems via Termination Analysis
🧊
Arctic Storage
muratbuffalo.blogspot.com
·
1d
1 day ago
Our Collective Bike Shed Moment
Discussed on
Blogger
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Our Collective Bike Shed Moment
💻
Programming languages
jcreedcmu.github.io
·
6d
6 days ago
One More
Type
in the Tiny
Type
Theory
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for One More Type in the Tiny Type Theory
💻
Programming languages
link.springer.com
·
4d
4 days ago
The French School of Programming
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The French School of Programming
🏗️
Constructive Analysis
nLab
·
3d
3 days ago
exhaustible set
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for exhaustible set
💻
CS
arxiv.org
·
6d
6 days ago
Indirect
Computing
Model
with Indirect
Formal
Method
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Indirect Computing Model with Indirect Formal Method
🔄
Finite State Machines
arxiv.org
·
5d
5 days ago
The Complexity of Bisimilarity and
Model
Checking
in Finitary Diagrams
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Complexity of Bisimilarity and Model Checking in Finitary Diagrams
🔄
Finite State Machines
arxiv.org
·
4d
4 days ago
UMB: A Unified Markov Binary
Format
for Probabilistic
Model
Checking
(extended version)
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
✅
Formal Methods
arxiv.org
·
4d
4 days ago
IsabeLLM
:
Automated
Theorem
Proving Applied to Formally Verifying Consensus
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
💻
programming languages
arxiv.org
·
4d
4 days ago
Verifying the Rust Standard Library
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Verifying the Rust Standard Library
⚡
SMT Applications
arxiv.org
·
5d
5 days ago
ESBMC-PLC:
Formal
Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based
Model
Checking
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking
🔄
Finite State Machines
arxiv.org
·
4d
4 days ago
A Neuro-Symbolic Approach to Strategy Synthesis for Strategic
Logics
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
🔄
Finite State Machines
arxiv.org
·
5d
5 days ago
Trust by design -- in praise of modularization: a case study
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Trust by design -- in praise of modularization: a case study
🔄
Finite State Machines
arxiv.org
·
3d
3 days ago
Monadic dependence from reducts, and applications to twin-width of oriented graphs
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Monadic dependence from reducts, and applications to twin-width of oriented graphs
🧮
Theorem Proving
arxiv.org
·
6d
6 days ago
MA-ProofBench
: A Two-Tiered Evaluation of LLMs for
Theorem
Proving
in Mathematical Analysis
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
🔄
Finite State Machines
arxiv.org
·
5d
5 days ago
A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems
🌐
NetworkProtocols
arxiv.org
·
5d
5 days ago
A Predicate-Based
Model
for
Computation
over State Spaces
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Predicate-Based Model for Computation over State Spaces
💻
Programming languages
arxiv.org
·
3d
3 days ago
Graph-ESBMC-PLC:
Formal
Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based
Model
Checking
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Graph-ESBMC-PLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
No more posts from matmat's subscribed feeds.
Scour all
25,324
feeds
Learn more about Feeds
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report